$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$$B$), ${\it as}$:$A$ List. $\parallel$map($f$;${\it as}$)$\parallel$ $=$ $\parallel$${\it as}$$\parallel$ $\in$ $\mathbb{N}$